公理 <经过人类长期反复实践的考验, 不需要再加证明的命题, 如:如果A=B, B=C, 则A=C。>
公设 <不需要证明就可以认为是真的假设, 例如, 由一点到另一点可以引一条直线。>
命题 <逻辑学指表达判断的语言形式, 由系词把主词和宾词联系而成。例如:'北京是中国的首都', 这个句子就是一个命题。>
公设 <不需要证明就可以认为是真的假设, 例如, 由一点到另一点可以引一条直线。>
命题 <逻辑学指表达判断的语言形式, 由系词把主词和宾词联系而成。例如:'北京是中国的首都', 这个句子就是一个命题。>
- mệnh đề quan hệ: 关系子句
- mệnh đề phụ: 子句
- mệnh đề toán học: 命题逻辑